REINTERPRETATION OF ARTIFACT NAMES IN THE METAPHORICAL MODEL “ARTIFACT ‒ ABSTRACTION”
نویسندگان
چکیده
منابع مشابه
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction
The formal verification of auctions has recently received considerable attention in the AI and logic community. We tackle this problem by adopting methodologies and techniques originally developed for Artifact Systems, a novel paradigm in Service Oriented Computing. Specifically, we introduce a typed version of artifactcentric multi-agent systems (AC-MAS), a multi-agent setting for Artifact Sys...
متن کاملType Abstraction for Relaxed Noninterference (Artifact)
This artifact is a web interpreter for the ObSec language defined in the companion paper. ObSec is a simple object-oriented language that supports type-based declassification. Type-base declassification exploits the familiar notion of type abstraction to support expressive declassification policies in a simple and expressive manner. 1998 ACM Subject Classification D.4.6 Security and Protection:...
متن کاملAn Abstraction Technique for the Verification of Artifact-Centric Systems
We explore the paradigm of artifact-centric systems from a knowledge-based perspective. We provide a semantics based on interpreted-systems to interpret a first-order temporalepistemic language with identity in a multi-agent setting. We consider the model checking problem for this language and provide abstraction results. We isolate a natural subclass of artifact-systems for which the model che...
متن کاملVerification of GSM-Based Artifact-Centric Systems through Finite Abstraction
The GSM framework provides a methodology for the development of artifact-centric systems, an increasingly popular paradigm in service-oriented computing. In this paper we tackle the problem of verifying GSM programs in a multi-agent system setting. We provide an embedding from GSM into a suitable multi-agent systems semantics for reasoning about knowledge and time at the first-order level. Whil...
متن کاملVerification of GSM-Based Artifact-Centric Systems by Predicate Abstraction
Artifact-centric systems are a recent paradigm to model and implement business workflows. They describe data, processes, internal and external agents and include mechanisms for data hiding and access control. GSM is a language for the implementation of artifact-centric systems. Since GSM programs have infinitely many states, their verification is challenging. We here present a predicate abstrac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Collection of scientific works "Visnyk of Zaporizhzhya National University. Philological Sciences"
سال: 2020
ISSN: 2414-9594
DOI: 10.26661/2414-9594-2020-1-1-4